• 전체
  • 전자/전기
  • 통신
  • 컴퓨터
로그인 회원가입 About Us 이용안내
사이트맵
닫기

사이트맵

Loading..

Please wait....

검색 결과

컴퓨터연구정보센터::연구문헌
[ 자주찾는 논문 TOP 10 ]
  1. ·   
  2. ·   
  3. ·   
  4. ·   
  5. ·   
  6. ·   
  7. ·   
  8. ·   
  9. ·   
  10. ·   

실시간 검색어

검색어 "MoonKun Lee"에 대한 [연구문헌] 검색결과 입니다.

국내 논문지 총 8건이 검색되었습니다.

엑셀로 저장

결과 내 재검색   검색

1 / 1 (Current/Total page)

1 제목(Title) GTS-VL: 스마트 IoT에서 안전 요구사항 분석과 검증을 위한 시각화 논리 언어 및 도구
저자(Author) 이성현   이문근   SungHyeon Lee   MoonKun Lee  
수록저널(Journal) 정보처리학회논문지 컴퓨터 및 통신 시스템
원문수록처(Citation) VOL 11 NO. 09 PP. 0289 ~ 0304 2022. 09
2 제목(Title) IoT 시스템의 시스템 행위를 예측하기 위한 확률 프로세스 대수
저자(Author) 송준섭   이문근   Junsup Song   Moonkun Lee  
수록저널(Journal) 정보과학회논문지
원문수록처(Citation) VOL 47 NO. 03 PP. 0247 ~ 0265 2020. 03
3 제목(Title) 지식공학을 위한 상호작용 시스템의 집단 행위 모델링 및 합성 방법
저자(Author) 송준섭   마리암 라흐마니   이문근   Junsup Song   Maryam Rahmani   Moonkun Lee  
수록저널(Journal) 정보과학회논문지
원문수록처(Citation) VOL 44 NO. 11 PP. 1178 ~ 1193 2017. 11
4 제목(Title) 도달성 도표의 상태감소를 위한 프로세스 대수 구문 방법: 이음 선택과 여 선택
저자(Author) 최영복   이문근   Yeongbok Choe   Moonkun Lee  
수록저널(Journal) 정보과학회논문지
원문수록처(Citation) VOL 43 NO. 05 PP. 0541 ~ 0552 2016. 05
5 제목(Title) 분산 이동 프로세스 이동의 안전성 모델링을 위한 프로세스 대수
저자(Author) 최영복   이문근   Yeongbok Choe   Moonkun Lee  
수록저널(Journal) 정보과학회논문지
원문수록처(Citation) VOL 43 NO. 03 PP. 0314 ~ 0326 2016. 03
6 제목(Title) 보안을 위한 공격 행위 감지 메타-모델링
저자(Author) 온진호   최영복   이문근   Jinho On   Yeongbok Choe   Moonkun Lee  
수록저널(Journal) 정보과학회논문지
원문수록처(Citation) VOL 41 NO. 12 PP. 1035 ~ 1049 2014. 12
7 제목(Title) 템플릿을 사용한 개인화 폰트 생성 방법
저자(Author) 최재홍   온진호   우수정   박기선   이문근   JaeHong Choe   JinHo On   SuJeung Woo   KiSun Park   MoonKun Lee  
수록저널(Journal) 한국정보과학회 논문지 C - 컴퓨팅의 실제
원문수록처(Citation) VOL 18 NO. 04 PP. 0336 ~ 0340 2012. 04
8 제목(Title) 공간 프로세스 대수를 이용한 정형 명세와 분석에서의 시간속성의 시각화
저자(Author) 온진호   최정란   이문근   Jinho On   Jungrhan Choi   Moonkun Lee  
수록저널(Journal) 한국정보처리학회 논문지 D
원문수록처(Citation) VOL 16-D NO. 03 PP. 0339 ~ 0362 2009. 06
처음  이전 1 다음 끝